Skip to content
This repository has been archived by the owner on Aug 7, 2023. It is now read-only.

Add the linter name #54

Merged
merged 1 commit into from
May 9, 2016
Merged

Add the linter name #54

merged 1 commit into from
May 9, 2016

Conversation

Arcanemagus
Copy link
Member

With this messages are identified as coming from this linter, if the user chooses to do so in their linter UI.

With this messages are identified as coming from this linter, if the user chooses to do so in their linter UI.
@Arcanemagus Arcanemagus merged commit 341bfe0 into master May 9, 2016
@Arcanemagus Arcanemagus deleted the add-linter-name branch May 9, 2016 01:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant